退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种在虚假路径检测中使用可满足性的新方法
Felipe S. Marques; Renato P. Ribas; Sachin Sapatnekar; André I. Reis;
机译:基于命题可满足性和自适应变量插入的CNF简化的多循环路径检测
机译:准两体衰减 B mml:mi> mml:mrow> ( mml:mo> s mml:mi> ) mml:mo> mml:mrow> mml:msub> → mml:mo> ( mml:mo> D mml:mi> mml :mrow> ( mml:mo> s mml:mi> ) mml:mo> mml:mrow> mml:msub> , mml:mo> D mml:mi> mml:mrow> ˉ mml:mo> mml:mrow> < / mml:mover> mml:mrow> ( mml:mo> s mml:mi> ) mml:mo> mml:mrow> mml:msub> ) mml:mo> ρ mml :mi> → mml:mo> ( mml:mo> D mml:mi> mml:mrow> ( mml:mo> s mml:mi> ) mml:mo> mml:mrow> mml:msub> < mml:mo>, mml:mo> D mml:mi> mml:mrow> ˉ mml:mo> mml:mrow> mml:mover> mml:mrow> < mml:mo Stretchy =“ false”>( mml:mo> s mml:mi> ) mml:mo> mml:mrow > mml:msub> ) mml:mo> π mml:mi> π mml:mi> mml:math>在扰动QCD因式分解方法中
机译:加拿大背景土壤的现场调查:对解决清洁土壤中石油烃错误检测的新型气相色谱-火焰电离检测方法的意义
机译:通过使用 r n准确性和可满足性来改进错误路径的检测
机译:增强的检测效率和减少虚假警报,用于寻找来自核心崩溃超新星的引力
机译:系统特征选择的游戏理论方法;在密集护理单位中误报检测中的应用
机译:具有系统级设计的自动假路径检测的性能估计
机译:错误路径检测装置,错误路径检测方法及其程序
机译:错误路径描述信息生成程序,错误路径描述信息生成设备和错误路径描述信息生成方法
机译:伪造路径描述信息生成程序,记录程序的介质,伪造路径描述信息生成设备和伪造路径描述信息生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。